Fuzzy alternating $\mathrm{B\ddot{u}chi}$ automata over distributive lattices

نویسندگان

  • Xiujuan Wei
  • Yongming Li
چکیده

We give a new version of fuzzy alternating Büchi automata over distributive lattices: weights are putting in every leaf node of run trees rather than along with edges from every node to its children. Such settings are great benefit to obtain complement just by taking dual operation and replacing each final weight with its complement. We prove that L-fuzzy nondeterministic Büchi automata have the same expressive power as L-fuzzy alternating Büchi ones. A direct construction (without related knowledge about L-fuzzy nondeterministic Büchi ones such as: above equivalence relation and their closure properties) is given to show that the languages recognized by L-fuzzy alternating co-Büchi automata are also L-fuzzy ω-regular. Furthermore, the closure properties and the discussion about decision problems for fuzzy alternating Büchi automata are illustrated in our paper.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

FUZZY ORDERED SETS AND DUALITY FOR FINITE FUZZY DISTRIBUTIVE LATTICES

The starting point of this paper is given by Priestley’s papers, where a theory of representation of distributive lattices is presented. The purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. In this way, some results of Priestley’s papers are extended. In the main theorem, we show that the category of finite fuzzy Priestley space...

متن کامل

Fuzzy Graph Rewritings

This paper presents fuzzy graph rewriting systems with fuzzy relational calculus. In this paper fuzzy graph means crisp set of vetices and fuzzy set of edges. We provide $\mathrm{f}\mathrm{u}\mathrm{z},7,\mathrm{y}$ relational calculus witll Heyting algebra. Formalizing rewriting system of fuzzy graphs it is important to $\mathrm{c}\cdot 1_{1\mathrm{t})\mathrm{t}}.\mathrm{q}\mathrm{C}1$ how to ...

متن کامل

Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices

We give several characterizations of discrete Sugeno integrals over bounded distributive lattices, as particular cases of lattice polynomial functions, that is functions which can be represented in the language of bounded lattices using variables and constants. We also consider the subclass of term functions as well as the classes of symmetric polynomial functions and weighted minimum and maxim...

متن کامل

Representation theorem for finite intuitionistic fuzzy perfect distributive lattices

In this paper, we extend some results obtained by A. Amroune and B. Davvaz in [1]. More precisely, we will develop a representation theory of intuitionistic fuzzy perfect distributive lattices in the finite case. To that end, we introduce the notion of intuitionistic fuzzy perfect distributive lattices and the one of fuzzy perfect Priestley spaces. In this way, the results of A. Amroune and B. ...

متن کامل

A duality between fuzzy domains and strongly completely distributive $L$-ordered sets

The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1603.04541  شماره 

صفحات  -

تاریخ انتشار 2016